Finiteness Conditions for Strictness Analysis
نویسندگان
چکیده
منابع مشابه
Finiteness Conditions for Strictness Analysis
We give upper bounds on the number of times the fixed point operator needs to be unfolded for strictness analysis of functional languages with lists. This extends previous work both in the syntax-directed nature of the approach and in the ability to deal with Wadler’s method for analysing lists. Limitations of the method are indicated.
متن کاملStrictness Analysis for Attribute Grammars
Attribute grammars may be seen as a (rather specialised) lazy or demand-driven programming language. The “programs” in this language take text or parse trees as input and return values of the synthesised attributes to the root as output. From this observation we establish a framework for abstract interpretation of attribute grammars. The framework is used to construct a strictness analysis for ...
متن کاملFiniteness Conditions for Light-Front Hamiltonians
Many advantages of the light-front (LF) formulation for bound state problems arise from the manifest boost invariance in the longitudinal direction [1{5]. The price for this advantage is that other symmetries, such as parity or rotational invariance (for rotations around a transverse axis) are no longer manifest [6,7]. From the technical point of view, the loss of manifest parity and full rotat...
متن کاملStrictness and Totality Analysis
We definea novel inference system for strictness and totality analysis for the simplytyped lazy lambda-calculus with constants and fixpoints. Strictness information identifies those terms that definitely denote bottom (i.e. do not evaluate to WHNF) whereas totality information identifies those terms that definitely do not denote bottom (i.e. do evaluate to WHNF). The analysis is presented as an...
متن کاملHopf algebras under finiteness conditions
This is a brief survey of some recent developments in the study of infinite dimensional Hopf algebras which are either noetherian or have finite Gelfand-Kirillov dimension. A number of open questions are listed.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: DAIMI Report Series
سال: 1993
ISSN: 2245-9316,0105-8517
DOI: 10.7146/dpb.v22i447.6764